#!/bin/bash

# Release branch
master="master"

git pull origin $master
echo "Current pull origin $master."


git push --follow-tags origin $master

echo "Git push origin $master"
echo "Release finished."
